√在线天堂中文最新版网,97se亚洲综合色区,国产成人av免费网址,国产成人av在线影院无毒,成人做爰100部片

簡體版 繁體版
Login Sign Up

logic language in Chinese

Pronunciation:
How to pronounce "logic language""logic language" in a sentence

Translationmobile phoneMobile

  • 邏輯語言

Examples

  • Firstly , a formal model of tpm is built using first - order logic language . then logic reasoning is made on the formal model
    首先,在論文中用一階邏輯語言建立可信平臺模塊api的形式化模型,然后對建立的形式化模型進行邏輯推理分析。
  • The establishment of limited subject has not only solved a series of problems brought out by the " body " of subject , but also found a reasonable form of existence for the subject on the stratum of logic language
    界限主體的確立，既解決了主體的“體”帶來的一系列問題，同時又為主體在邏輯語言的層面上找到了一種合理的存在形式。
  • In this paper , three kinds of logic languages used in analyzing cryptographic protocols are primarily introduced , and studied in their advantages and weakness . combing the advantages , a new formal logic language is put forward to analyze electronic commerce protocols
    在本文中，作者主要介紹了用于分析密碼協(xié)議的三種邏輯語言，研究了它們的優(yōu)缺點，然后結(jié)合其優(yōu)點，提出了一種新的用于分析電子商務(wù)協(xié)議的形式化邏輯語言。
  • ( 2 ) in order to validate the efficiency of algorithm , this paper design and implement a testing , platform rule processor based on sql server . the main function of the processor is to translate the first order logic rule into embedded - sql programs , which make sql server dbms possess the capability in expressing recursive query with logic language
    ( 2 )為驗證算法的有效性，該文設(shè)計實現(xiàn)了一個測試平臺? ?基于sqlserver的規(guī)則處理器，其主要功能為自動把一階邏輯規(guī)則轉(zhuǎn)換為含有sql語句的過程代碼，這使得sqlserver數(shù)據(jù)庫管理系統(tǒng)有了用邏輯數(shù)據(jù)語言表示遞歸查詢的能力。
  • Next , it indicates that mathematical language is an important instrument for developing the mathematical communication activity , and based on the predecessors " achievements , reclassifies the mathematical language : character language , symbol language , figure language , chart language and logic language
    接著指出數(shù)學語言是進行數(shù)學交流活動的重要工具，參考前人的成果，對數(shù)學語言重新進行分類，可分為：文字語言，符號語言，圖形語言，圖表語言，邏輯語言。
  • We use temporal logic language xyz / e as our component description language for components may have different abstract hierarchy and different granularity . xyz / e is able to describe the dynamic semantics and static operations of component , and to formally describe system in different hierarchy
    由于構(gòu)件可能具有不同的抽象層次和粒度，我們采用了時序邏輯語言xyz e作為構(gòu)件描述語言，這種語言能夠描述構(gòu)件的靜態(tài)語義和動態(tài)執(zhí)行，并且能在不同抽象層次上對系統(tǒng)進行形式化描述。
  • We generalize the notion of information tables to ordered information tables by adding order relations on attribute values . a data analysis method is thus proposed to describe properties of ordered information tables . we define the concepts of reduct and core etc . by analyzing the attribute dependency in ordered information tables ; the thesis also proposes and formalizes the problem of mining ordering rules , designs the ordered decision logic language ( odl - language ) , and gives a solution for mining ordering rules
    從數(shù)據(jù)挖掘的角度考慮對象排序問題，通過引進屬性值上的有序關(guān)系，作者擴充了常見的屬性值方法，提出了有序信息表的形式化概念，進而提出了一個有序信息表上的數(shù)據(jù)分析方法，通過分析有序信息表中的屬性依賴，定義了有序信息表的約簡集和核的概念；作者還提出和形式化了有序信息表中挖掘有序規(guī)則的問題，設(shè)計了有序決策邏輯語言( odl ) ，并給出了一個挖掘有序規(guī)則的方法。
What is the meaning of logic language in Chinese and how to say logic language in Chinese? logic language Chinese meaning, logic language的中文，logic language的中文，logic language的中文，translation, pronunciation, synonyms and example sentences are provided by ichacha.net.